On some computer-aided proofs in analysis
نویسنده
چکیده
We prove, using interval analysis methods, that the L, L and L spectral radii of the traction double layer potential operator associated with the Lamé system on an infinite sector in R are within 2.5 × 10, 10 and 10, respectively, from a certain conjectured value which depends explicitly on the aperture of the sector and the Lamé moduli of the system. We also indicate how to extend these results to Lp for entire intervals of p, p ≥ 2.
منابع مشابه
Survey on Perception of People Regarding Utilization of Computer Science & Information Technology in Manipulation of Big Data, Disease Detection & Drug Discovery
this research explores the manipulation of biomedical big data and diseases detection using automated computing mechanisms. As efficient and cost effective way to discover disease and drug is important for a society so computer aided automated system is a must. This paper aims to understand the importance of computer aided automated system among the people. The analysis result from collected da...
متن کاملI-16: Computer Aided Sperm Analysis andSperm Functional Testing (Hyperactivation) asBackground Tools in the Evaluation of SpermFunction/Quality
After twenty years Computer Aided Sperm Analysis has developed considerably and is now routinely used in many laboratories across the world. The advantage of the CASA methodology available is twofold: Analysis of particularly sperm concentration, sperm motility, sperm morphology and vitality is quantified in an Background manner. Secondly, most of the CASA analysis with the exception of sperm m...
متن کاملAn Overview of Computer Aided Design/Computer Aided Manufacturing (CAD/CAM) in Restorative Dentistry
Objective: To review the current knowledge of CAD/CAM in dentistry and its development in the mentioned field. Sources: An electronic search was conducted across Ovid Medline, complemented by manual search across individual databases, such as Cochrane, Medline and ISI Web of Science databases and Google Scholar for literature analysis on the mentioned topic. The studies were reviewed thoroughly...
متن کاملData mining for decision making in engineering optimal design
Often in modeling the engineering optimization design problems, the value of objective function(s) is not clearly defined in terms of design variables. Instead it is obtained by some numerical analysis such as FE structural analysis, fluid mechanic analysis, and thermodynamic analysis, etc. Yet, the numerical analyses are considerably time consuming to obtain the final value of objective functi...
متن کاملTHE IMPACT OF USING COMPUTER-AIDED ARGUMENT MAPPING (CAAM) ON THE IMPROVEMENT OF IRANIAN EFL LEARNERS’ WRITING SELF-REGULATION
The present study was conducted to investigate the impact of using computer-aided argument mapping (CAAM) on the improvement of Iranian learners’ writing self-regulation. To this end, 90 participants out of 127 senior university students in English translation were selected after administrating language proficiency test, as well as an essay writing test for the purpose of homogenizing the learn...
متن کاملEnclose it or Lose it! Computer-aided Proofs in Statistics
Enclosure methods are a class of computer-aided proofs used in analysis. They are used increasingly to solve open problems in mathematics. The proposed project will use enclosure methods to address two open statistical decision problems: 1. rigorous parameter estimation in a chaotic statistical experiment, and 2. rigorous point estimation and exact posterior sampling in phylogenetics. To addres...
متن کامل